Automatic Generation of Trigger Rules for Integrity Enforcement in Relational Databases with View Definition

In this paper, we propose a method for integrity enforcement in relational databases with view de nition using the production rule mechanism provided by active database systems. The method generates a set of trigger rules at compile-time. This set of rules can repair at run-time the inconsistency produced by some transactions by executing a simple update over the extensional database. We also propose a logic metaprogram which implements the method.